Skip to content

recursion circuit's verifier_data_hash include constant_sigmas_cap in the hash, and add explanation#288

Merged
arnaucube merged 1 commit intomainfrom
issue-275
Jun 17, 2025
Merged

recursion circuit's verifier_data_hash include constant_sigmas_cap in the hash, and add explanation#288
arnaucube merged 1 commit intomainfrom
issue-275

Conversation

@arnaucube
Copy link
Collaborator

resolves #275

@arnaucube arnaucube requested a review from ed255 June 16, 2025 10:45
@arnaucube arnaucube marked this pull request as draft June 16, 2025 11:14
@arnaucube arnaucube marked this pull request as ready for review June 16, 2025 14:26
@arnaucube arnaucube force-pushed the issue-275 branch 2 times, most recently from c5a7b72 to 77c7c6d Compare June 16, 2025 14:30
Copy link
Collaborator

@ed255 ed255 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The code looks good! But the documentation seems incorrect to me, please take a look at my comment.

Copy link
Collaborator

@ed255 ed255 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@arnaucube arnaucube merged commit 6ab0bc5 into main Jun 17, 2025
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

In Recursive circuit, verify that circuit_digest is calculated using constants_sigmas_cap

2 participants